completion of representation

表示的完备化